Consensus-Oriented Specification System

Object-Oriented System Specification Using Defaults

This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented speciication of information systems. We present how to utilize defaults in speciications of dynamic system behaviour. Thus overridable rules may be used in spec-iications which deal not only with state structures, but also with state transitions and sequences. Systems are viewed as societie...

Actor-Oriented System Specification with Dynamic Logic

In this paper, we extend dynamic logic with the concept of an actor in order to be able to specify who takes the initiative of an action, who makes a choice, or who controis a synchronization of actions. We give two examples of application of this idea. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate '~ from CCS in favor of internal and external ch...

A Specification for an Object-Oriented Distributed Banking System

This paper proposes a partial specification for a distributed banking system. The system has been designed to operate in an object-oriented middleware platform, such as the CORBA platform from the Object Management Group or the COM platform from Microsoft. The purpose of the paper is to illustrate how existing middleware architectures can be used for implementing systems that have traditionally...

Service-oriented Business and System Specification: beyond Object-orientation

Delta-Oriented Monitor Specification

Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the execution history of the program; this is useful, e.g., for the purpose of runtime verification and for enforcing secur...